TAGs: translating expressions equations